Nuprl Definition : normal-type
0,22
postcript
pdf
Normal(
T
) ==
T
& AtomFree(Type;
T
)
latex
clarification:
normal-type{i:l}(
T
) ==
T
& AtomFree(Type{i};
T
)
latex
Definitions
P
&
Q
,
AtomFree(
T
;
x
)
,
Type
FDL editor aliases
normal-type
origin